Compiling constraint solving using projectionHARVEY, W; STUCKEY, P. J; BORNING, A et al.Lecture notes in computer science. 1997, pp 491-505, issn 0302-9743, isbn 3-540-63753-2Conference Paper

Understanding and improving the MAC algorithmSABIN, D; FREUDER, E. C.Lecture notes in computer science. 1997, pp 167-181, issn 0302-9743, isbn 3-540-63753-2Conference Paper

Principles and practice of constraint programming - CP 97 (Linz, October 29 - November 1, 1997)Smolka, Gert.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63753-2, XII, 561 p, isbn 3-540-63753-2Conference Proceedings

Programming constraint inference enginesSCHULTE, C.Lecture notes in computer science. 1997, pp 519-533, issn 0302-9743, isbn 3-540-63753-2Conference Paper

The constrainedness of Arc consistencyGENT, I. P; MACINTYRE, E; PROSSER, P et al.Lecture notes in computer science. 1997, pp 327-340, issn 0302-9743, isbn 3-540-63753-2Conference Paper

Tractable disjunctive constraintsCOHEN, D; JEAVONS, P; KOUBARAKIS, M et al.Lecture notes in computer science. 1997, pp 478-490, issn 0302-9743, isbn 3-540-63753-2Conference Paper

Bounding the optimum of Constraint optimization ProblemsDE GIVRY, S; VERFAILLIE, G; SCHIEX, T et al.Lecture notes in computer science. 1997, pp 405-419, issn 0302-9743, isbn 3-540-63753-2Conference Paper

Configuration solvers : Tailoring general methods to specific applicationsMINTON, S.Lecture notes in computer science. 1997, pp 372-374, issn 0302-9743, isbn 3-540-63753-2Conference Paper

Heavy-tailed distributions in combinatorial searchGOMES, C. P; SELMAN, B; CRATO, N et al.Lecture notes in computer science. 1997, pp 121-135, issn 0302-9743, isbn 3-540-63753-2Conference Paper

On the complexity of unification and disunification in commutative idempotent semigroupsHERMANN, M; KOLAITIS, P. G.Lecture notes in computer science. 1997, pp 282-296, issn 0302-9743, isbn 3-540-63753-2Conference Paper

Set constraints : A pearl in research on constraintsPACHOLSKI, L; PODELSKI, A.Lecture notes in computer science. 1997, pp 549-561, issn 0302-9743, isbn 3-540-63753-2Conference Paper

Tabu Search for maximal constraint satisfaction problemsGALINIER, P; HAO, J.-K.Lecture notes in computer science. 1997, pp 196-208, issn 0302-9743, isbn 3-540-63753-2Conference Paper

GENIUS-CP : A generic single-vehicle routing algorithmPESANT, G; GENDREAU, M; ROUSSEAU, J.-M et al.Lecture notes in computer science. 1997, pp 420-434, issn 0302-9743, isbn 3-540-63753-2Conference Paper

Modelling exceptionally hard constraint satisfaction problemsSMITH, B. M; GRANT, S. A.Lecture notes in computer science. 1997, pp 182-195, issn 0302-9743, isbn 3-540-63753-2Conference Paper

Verification of parallel systems using constraint programmingMELZER, S.Lecture notes in computer science. 1997, pp 92-106, issn 0302-9743, isbn 3-540-63753-2Conference Paper

A modeling language for local searchMICHEL, L; VAN HENTENRYCK, P.Lecture notes in computer science. 1997, pp 237-251, issn 0302-9743, isbn 3-540-63753-2Conference Paper

Distributed partial Constraint Satisfaction ProblemHIRAYAMA, K; YOKOO, M.Lecture notes in computer science. 1997, pp 222-236, issn 0302-9743, isbn 3-540-63753-2Conference Paper

From restricted path consistency to max-restricted path consistencyDEBRUYNE, R; BESSIERE, C.Lecture notes in computer science. 1997, pp 312-326, issn 0302-9743, isbn 3-540-63753-2Conference Paper

Solving various weighted matching Problems with constraintsCASEAU, Y; LABURTHE, F.Lecture notes in computer science. 1997, pp 17-31, issn 0302-9743, isbn 3-540-63753-2Conference Paper

Statistical analysis of backtracking on inconsistent CSPsRISH, I; FROST, D.Lecture notes in computer science. 1997, pp 150-162, issn 0302-9743, isbn 3-540-63753-2Conference Paper

Tractable recursion over geometric dataGRUMBACH, S; KUPER, G.Lecture notes in computer science. 1997, pp 450-462, issn 0302-9743, isbn 3-540-63753-2Conference Paper

A filtering algorithm for global sequencing constraintsREGIN, J.-C; PUGET, J.-F.Lecture notes in computer science. 1997, pp 32-46, issn 0302-9743, isbn 3-540-63753-2Conference Paper

Five pitfalls of empirical scheduling researchBECK, J. C; DAVENPORT, A. J; FOX, M. S et al.Lecture notes in computer science. 1997, pp 390-404, issn 0302-9743, isbn 3-540-63753-2Conference Paper

Look-ahead versus look-back for satisfiability problemsCHU MIN LI; ANBULAGAN.Lecture notes in computer science. 1997, pp 341-355, issn 0302-9743, isbn 3-540-63753-2Conference Paper

Narrowing a 2n-block of sortings in O (n logn)GUERNALEC, N. B; COLMERAUER, A.Lecture notes in computer science. 1997, pp 2-16, issn 0302-9743, isbn 3-540-63753-2Conference Paper